#ifndef __USERSPACE_I_H__
#define __USERSPACE_I_H__

void jump_user(void *addr, void *stack, uint32_t eflags);
void jump_user_from_trapframe(struct trapframe_s *tf);
void jump_user_from_trap_sys(struct tf_sys_s *tf);

#endif
